On Directed Sets and their Suprema
نویسندگان
چکیده
The aim of this paper is to investigate partially ordered real linear topological spaces in which directed sets admit a supremum in their closure. In particular, we point out that this property is intimately related to the normality of the ordering cone and also to the Scott continuity of functionals belonging to the nonnegative polar of the ordering cone. Mathematics Subject Classification (2000). Primary 54F05; Secondary 06B30.
منابع مشابه
Strong completions of spaces
A non-empty subset of a topological space is irreducible if whenever it is covered by the union of two closed sets, then already it is covered by one of them. Irreducible sets occur in proliferation: (1) every singleton set is irreducible, (2) directed subsets (which of fundamental status in domain theory) of a poset are exactly its Alexandroff irreducible sets, (3) directed subsets (with respe...
متن کاملLimits and colimits in the category of pre-directed complete pre-ordered sets
In this paper, some categorical properties of the category { Pre-Dcpo} of all pre-dcpos; pre-ordered sets which are also pre-directed complete, with pre-continuous maps between them is considered. In particular, we characterize products and coproducts in this category. Furthermore, we show that this category is neither complete nor cocomplete. Also, epimorphisms and monomorphisms in {Pre-Dcpo} ...
متن کاملOn the Homomorphism Order of Labeled Posets
Partially ordered sets labeled with k labels (k-posets) and their homomorphisms are examined. We give a representation of directed graphs by k-posets; this provides a new proof of the universality of the homomorphism order of k-posets. This universal order is a distributive lattice. We investigate some other properties, namely the infinite distributivity, the computation of infinite suprema and...
متن کاملMeasure Extension Theorems for T0-spaces
The theme of this paper is the extension of continuous valuations on the lattice of open sets of a T0-space to Borel measures. A general extension principle is derived that provides a unified approach to a variety of extension theorems including valuations that are directed suprema of simple valuations, continuous valuations on locally compact sober spaces, and regular valuations on coherent so...
متن کاملBoundedness and Complete Distributivity
We extend the concept of constructive complete distributivity so as to make it applicable to ordered sets admitting merely bounded suprema The KZ doctrine for bounded suprema is of some independent interest and a few results about it are given The category of ordered sets admitting bounded suprema over which inhabited classically non empty in ma distribute is shown to be bi equivalent to a cate...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005